Formal sciences - PDFSEARCH.IO - Document Search Engine

Formal sciences
Results: 2816

#	Item
101	Package ‘ggmcmc’ June 28, 2016 Title Tools for Analyzing MCMC Simulations from Bayesian Inference Description Tools for assessing and diagnosing convergence of Markov Chain Monte Carlo simulations, as well as for gra Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2016-06-28 17:48:22 Markov models Statistics Bayesian statistics Subroutines Formal sciences Knowledge Markov chain Monte Carlo Parameter Markov chain Science and technology
102	Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:53:13 Software engineering Formal methods Theoretical computer science Automated theorem proving Computing Loop invariant Mathematical proof Rippling Extended static checking Recurrence relation Automated reasoning Invariant
103	Microsoft Word - slides.docx Add to Reading List Source URL: web.uvic.ca Language: English - Date: 2014-07-04 18:43:12 Time series analysis Statistics Econometrics Formal sciences Noise Economic model Cointegration Granger causality Autoregressive conditional heteroskedasticity Autoregressivemoving-average model Maximum likelihood estimation Scientific modelling
104	Call for papers WWW 2017 Web Mining and Content Analysis Track The Web Mining and Content Analysis Track at the 2017 Conference on the World Wide Web (http://www2017.com.au ) welcomes submissions of original, high-qu Add to Reading List Source URL: www.www2017.com.au Language: English - Date: 2016-08-06 03:49:36 Information technology Computing Business intelligence Information Data mining Formal sciences Big data Web mining Unstructured data Analytics Data science Text mining
105	Chapter 1 MINING AND USING SETS OF PATTERNS THROUGH COMPRESSION Matthijs van Leeuwen KU Leuven Leuven, Belgium Add to Reading List Source URL: www.patternsthatmatter.org Language: English - Date: 2014-12-31 10:52:18 Algorithmic information theory Information theory Cybernetics Formal sciences Theoretical computer science Statistics Minimum description length Statistical theory Lossless compression Minimum message length Data compression Kolmogorov complexity
106	Meet Will Salcido, CEO of Bedrock Analytics, a retail analytics visualization software company, at the Grocery Manufacturers Association (GMA) Leadership Forum in West Virginia July 28-31, 2016. The GMA Leadership Forum Add to Reading List Source URL: www.bedrockanalytics.com Language: English - Date: 2016-07-29 20:16:18 Business intelligence Economy Business Formal sciences Information technology Analytics Big data Mathematical finance Market research IRI
107	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-06-03 07:39:24 Data mining Formal sciences Web mining World Wide Web Computing Database Secure multi-party computation Communications protocol Information science Information technology Theoretical computer science
108	Brochure Next-generation information analytics HP IDOL 10: built for the era of big data Add to Reading List Source URL: www.havenondemand.com Language: English - Date: 2016-01-18 04:11:38 Computing Information technology Economy Business intelligence Formal sciences Data management Analytics Big data Mathematical finance HP Autonomy Unstructured data Social media analytics
109	Invariant Patterns for Program Reasoning Andrew Ireland and Bill J. Ellis and Tommy Ingulfsen School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UK . Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:54:07 Formal methods Software engineering Loop invariant Theoretical computer science Invariant
110	CMSCS TAT 37601: M ACHINE L EARNING AND L ARGE S CALE DATA A NALYSIS Syllabus, Spring 2015 Machine Learning and Large Scale Data Analysis is an advanced undergraduate level course in statistical machine learning Add to Reading List Source URL: galton.uchicago.edu Language: English - Date: 2016-04-13 06:56:12 Statistics Data Regression analysis Econometrics Formal sciences Machine learning Nonparametric regression Linear regression Data mining Statistical classification Cluster analysis Nonparametric statistics